The First-Order Theory of Ordering Constraints over Feature Trees
نویسندگان
چکیده
The system FT of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees. We investigate the first-order theory of FT and its fragments, both over finite trees and over possibly infinite trees. We prove that the first-order theory of FT is undecidable, in contrast to the first-order theory of FT which is well-known to be decidable. We determine the complexity of the entailment problem of FT with existential quantification to be PSPACE-complete, by proving its equivalence to the inclusion problem of non-deterministic finite automata. Our reduction from the entailment problem to the inclusion problem is based on a new alogrithm that, given an existential formula of FT , computes a finite automaton which accepts all its logic consequences.
منابع مشابه
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic
The system FT of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees. We investigate decidability and complexity questions for fragments of the first-order theory of FT . It is well-known that the first-order theory of FT is decidable and that several of its fragments can be decided in quasi-linear time, includi...
متن کاملLexicographical ordering by spectral moments of trees with a given bipartition
Lexicographic ordering by spectral moments ($S$-order) among all trees is discussed in this paper. For two given positive integers $p$ and $q$ with $pleqslant q$, we denote $mathscr{T}_n^{p, q}={T: T$ is a tree of order $n$ with a $(p, q)$-bipartition}. Furthermore, the last four trees, in the $S$-order, among $mathscr{T}_n^{p, q},(4leqslant pleqslant q)$ are characterized.
متن کاملA Feature Constraint System for Logic Programming with Entailment
We introduce a constraint system called FT. This system offers a theoretical and practical alternative to the usual Herbrand system of constraints over constructor trees. Like Herbrand, FT provides a universal data structure based on trees. However, the trees of FT (called feature trees) are more general than the constructor trees of Herbrand, and the constraints of FT are of finer grain and of...
متن کاملConstraint Automata and the Complexity of Recursive Subtype Entailment
We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ordered set of possibly infinite labeled trees. The nonstructural ordering on trees is the one introduced by Amadio and Cardelli for subtyping with recursive types. The structural ordering compares only trees with common shape. A ...
متن کاملOPTIMIZATION OF MULTI PERIOD - MULTI LOCATION CONSTRUCTION PROJECTS CONSIDERING RESOURCE POOL AND BATCH ORDERING
During the past two decades, some industries have been moving towards project-centered systems in many modern countries. Therefore, managing simultaneous projects with considering the limitations in resources, equipment and manpower is very crucial. In the real world, project-based organizations are always facing with two main important features. First, the construction projects are decentraliz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Mathematics & Theoretical Computer Science
دوره 4 شماره
صفحات -
تاریخ انتشار 1998